Languages for Planning

Planning is a traditional research area in AI. The last decade has witnessed a large body of work in the development of languages and algorithms for planning, up to the point where complex, realistic problems can be modeled and solved in seconds. At the same time, thanks to the generality of the problem formulation, several applicative problems can be recasted into planning. This is also true in the SOC area, where planning can be used to automatically compose distributed services to provide new services satisfying domain and user specified requirements. In this deliverable, we focus on languages for specifying domain and user requirements. The first correspond to languages for the specification of planning domains, and latter correspond to languages for the specification of user’s goals. Copyright c © 2006 University of Genova Document Identifier Deliverable D4.2 Project MIUR-FIRB project RBNE0195K5 “Knowledge Level Automated Software Engineering” Version v1.0 Date May 24, 2006 State Final Distribution Public